package pa3;

import java.rmi.Remote;
import java.rmi.RemoteException;

public interface Logger extends Remote{
	public static String SERVICENAME = "mfd.Logger";
	
	public void register(String hostName) throws RemoteException;
	
	public void reportCrashedHost(String crashedHost) throws RemoteException;
	
	public void logCrash(String crashedHost) throws RemoteException;
	
	public void logRecovery(String recoveredHost) throws RemoteException;
	
	public float getFalsePositiveRate() throws RemoteException;
	
	public void incrementMessageCount() throws RemoteException;
}
